|
|
Databázové řešení pro ukládání měřených dat
Holeček, Ivan ; Andrš, Ondřej (oponent) ; Kovář, Jiří (vedoucí práce)
Diplomová práce je zaměřena na zpracování databázového řešení pro ukládání měřených dat. Teoreticky rozebírá databázový dotazovací jazyk a systém řízení báze dat Microsoft SQL Server 2017. Dále teoreticky rozebírá programovací prostředí pro vývoj aplikací C# .NET. Práce obsahuje hotovou databázi pro ukládání dat, obslužnou konzolovou aplikaci pro ukládání dat do databáze a uživatelskou aplikaci pro zakládání měřících kampaní, reprezentaci dat a správu uživatelů.
|
|
|
Filtr IP toků
Štoffa, Imrich ; Krobot, Pavel (oponent) ; Wrona, Jan (vedoucí práce)
Predmetom tejto práce je snaha o zjednotenie filtračných jazykov používaných v kolektore IP tokov a v knižnici pre ich analýzu. Momentálne tieto programy používajú rozdielne filtračné moduly a formáty súborov, z čoho plynú isté nezrovnalosti. Návrh filtra vznikol ako súčasť práce na zlepšení integrácie týchto dvoch programov a to poskytnutím implementácie spoločného filtračného modulu podporujúceho populárny filtračný jazyk. Obsahuje teoretický úvod do monitorovania tokov v sieti, zmieňuje aj algoritmy z prostredia klasifikácie tokov použiteľné pri vyhodnocovaní podmienok nad záznamami. Vlastná práca sa venuje návrhu a implementácii filtračného modulu spolu s adaptérmi k spomínanému kolektoru a knižnici. Záver je venovaný vyhodnoteniu výkonu a funkčnosti filtra.
|
|
|
Dotazovací jazyk pro databáze biologických dat
Bahurek, Tomáš ; Vogel, Ivan (oponent) ; Martínek, Tomáš (vedoucí práce)
S rapidně stoupajícím množstvím biologických dat stoupá i důležitost biologických databází. U těchto databází je nezbytné objevování znalostí (nalezení spojitostí, které nebyli známé v čase vkládání dat). K získávání znalostí z biologických databází je nutná konstrukce složitých SQL dotazů, což vyžaduje pokročilou znalost SQL a použitého databázového sché- matu. Biologové většinou tyto znalosti nemají, proto je potřeba nástroje, který by poskytl intuitivnějšího rozhrání pro tyto databáze. Tato práce navrhuje ChQL, intuitivní dotazovací jazyk pro databázi biologických dat Chado. ChQL umožňuje biologům poskládat dotaz za použití pojmů, které dobře znají bez nutnosti znát SQL nebo použité schéma. Tato práce implementuje aplikaci pro dotazování databáze Chado pomocí ChQL. Webové rozhrání provede uživatele procesem zostavení věty jazyka ChQL. Aplikace přeloží tuto větu do SQL dotazu, odešle jej do databáze Chado a zobrazí vrácená data v tabulce. Výsledky jsou vyhodnoceny testováním dotazů na reálných datech.
|
|
|
Jazyk pro dotazování Java AST
Bílek, Jiří ; Matula, Peter (oponent) ; Křivka, Zbyněk (vedoucí práce)
Cílem této práce je návrh dotazovacího jazyka nad abstraktním syntaktickým stromem Java kódu a implementace nástroje, který využívá tento dotazovací jazyk. V práci se nachází průzkum dostupných grafových databází a podrobnější studium grafových databází Neo4J a Titan. Následuje průzkum dostupných nástrojů pro analýzu Java bajtkódu a opět podrobnější zkoumání nástrojů Procyon a BCEL. Dále práce obsahuje návrh jazyka a detailní popis implementace nástroje společně s popisem uložení jednotlivých entit do grafové databáze. Závěrem se práce zabývá experimenty s vytvořeným nástrojem a vyhodnocením časové složitosti knihovny.
|
|
|
Hledání řídicích strategií pomocí UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabývá hledáním řídicích strategií v předem vybraných problémech z různých oblastí pomocí nástroje Uppaal Stratego. Byly vybrány čtyři oblasti k řešení, jmenovitě šachy, hanojské věže, posuvné pole a kinematický problém zahrnující balíček, auto a letadlo. Pro zvolené problémy a oblasti byla navržena a vytvořena sada jim odpovídajícím modelů. U hanojských věží a posuvného pole bylo možné úspěšně vyhodnotit relevantní strategie, zvedající pravděpodobnosti úspěchu až na více než 90 %. U dalších modelů byl nalezen problém ve velikosti stavového prostoru a strategie nebylo možné vyhodnotit, protože maximální kapacita paměti, kterou nástroj využívá, nebyla dostatečná. U kinematického problému se po omezení a zjednodušení modelu podařilo strategie vyhodnotit, ovšem u šachů to nebylo možné ani po významném zjednodušení.
|
|
| |
|
|
Hledání řídicích strategií pomocí UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabývá hledáním řídicích strategií v předem vybraných problémech z různých oblastí pomocí nástroje Uppaal Stratego. Byly vybrány čtyři oblasti k řešení, jmenovitě šachy, hanojské věže, posuvné pole a kinematický problém zahrnující balíček, auto a letadlo. Pro zvolené problémy a oblasti byla navržena a vytvořena sada jim odpovídajícím modelů. U hanojských věží a posuvného pole bylo možné úspěšně vyhodnotit relevantní strategie, zvedající pravděpodobnosti úspěchu až na více než 90 %. U dalších modelů byl nalezen problém ve velikosti stavového prostoru a strategie nebylo možné vyhodnotit, protože maximální kapacita paměti, kterou nástroj využívá, nebyla dostatečná. U kinematického problému se po omezení a zjednodušení modelu podařilo strategie vyhodnotit, ovšem u šachů to nebylo možné ani po významném zjednodušení.
|
|
|
Multifiltrový prohlížeč fotek
Hanák, Drahomír ; Zavoral, Filip (vedoucí práce) ; Kliber, Filip (oponent)
Práce se zaměřuje na návrh a implementaci prohlížeče fotek, který naroz- díl od existujících programů umí ukládat uživatelsky definovaná metadata přimo v souborech s fotkami. Metadata se tak neztratí při přesunu nebo přejmenování souborů. Dalším cílem práce je navrhnout dotazovací jazyk, který umožní hle- dat fotky na základě uživatelem definovaných metadat a existujících metadat souboru. Vytvořený program by měl mít přizpůsobivé uživatelské rozhraní pro zobrazení výsledků dotazu, prohlížení a editaci metadat souborů a editor dotazů s podporou integrované nápovědy (IntelliSense) pro vytvářený dotaz. 1
|
|
|
Databázové řešení pro ukládání měřených dat
Holeček, Ivan ; Andrš, Ondřej (oponent) ; Kovář, Jiří (vedoucí práce)
Diplomová práce je zaměřena na zpracování databázového řešení pro ukládání měřených dat. Teoreticky rozebírá databázový dotazovací jazyk a systém řízení báze dat Microsoft SQL Server 2017. Dále teoreticky rozebírá programovací prostředí pro vývoj aplikací C# .NET. Práce obsahuje hotovou databázi pro ukládání dat, obslužnou konzolovou aplikaci pro ukládání dat do databáze a uživatelskou aplikaci pro zakládání měřících kampaní, reprezentaci dat a správu uživatelů.
|
|
|
Filtr IP toků
Štoffa, Imrich ; Krobot, Pavel (oponent) ; Wrona, Jan (vedoucí práce)
Predmetom tejto práce je snaha o zjednotenie filtračných jazykov používaných v kolektore IP tokov a v knižnici pre ich analýzu. Momentálne tieto programy používajú rozdielne filtračné moduly a formáty súborov, z čoho plynú isté nezrovnalosti. Návrh filtra vznikol ako súčasť práce na zlepšení integrácie týchto dvoch programov a to poskytnutím implementácie spoločného filtračného modulu podporujúceho populárny filtračný jazyk. Obsahuje teoretický úvod do monitorovania tokov v sieti, zmieňuje aj algoritmy z prostredia klasifikácie tokov použiteľné pri vyhodnocovaní podmienok nad záznamami. Vlastná práca sa venuje návrhu a implementácii filtračného modulu spolu s adaptérmi k spomínanému kolektoru a knižnici. Záver je venovaný vyhodnoteniu výkonu a funkčnosti filtra.
|
host ::
RSS.